9.31/11.82	unsat
