7.59/7.73	unsat
