14.88/15.92	unsat
