81.99/85.06	unsat
