74.87/78.63	unsat
