7.19/9.25	unsat
