11.47/14.13	unsat
