85.34/87.06	unsat
