14.36/17.92	unsat
