77.57/82.90	unsat
