10.47/11.26	unsat
