73.99/77.61	unsat
