77.48/77.81	unsat
