75.67/77.24	unsat
