7.47/7.59	unsat
