6.89/9.67	unsat
