10.25/12.88	unsat
