3084.31/3091.06	unsat
