10.25/10.86	unsat
