6.07/7.52	unsat
