14.73/16.92	unsat
