14.37/15.63	unsat
