14.74/17.26	unsat
