9.56/9.67	unsat
