6.08/8.73	unsat
