77.06/80.93	unsat
