76.60/77.28	unsat
