14.47/15.93	unsat
