7.59/7.74	unsat
