74.70/77.94	unsat
