77.03/79.89	unsat
