7.79/9.82	unsat
