9.56/11.82	unsat
