7.69/7.83	unsat
