9.33/9.67	unsat
