9.78/9.82	unsat
