Peter, Edwards

• Maximum SAT