9.56/10.67	unsat
