77.60/80.37	unsat
