10.82/11.11	unsat
