15.25/17.10	unsat
