17.25/17.86	unsat
