5.93/7.25	unsat
