7.18/7.25	unsat
