14.25/17.22	unsat
