7.27/9.67	unsat
