10.47/13.14	unsat
