77.02/77.24	unsat
