75.02/77.51	unsat
