7.58/7.62	unsat
