2.97/5.25	unsat
