5.17/7.25	unsat
