6.48/7.25	unsat
