10.25/12.86	unsat
