14.66/16.92	unsat
