5.28/6.25	unsat
