14.66/14.92	unsat
