94.58/95.10	unsat
