6.78/9.73	unsat
