6.89/9.73	unsat
