77.12/80.48	unsat
