14.17/17.93	unsat
