10.47/11.47	unsat
