14.36/14.92	unsat
