6.61/7.59	unsat
