12.47/15.20	unsat
