6.26/9.25	unsat
