5.28/8.25	unsat
