4.17/5.25	unsat
