7.59/7.63	unsat
