7.23/7.67	unsat
