8.82/11.12	unsat
