73.94/77.40	unsat
