14.47/15.14	unsat
