14.07/14.92	unsat
